System adjustment for targeted performance combining symbolic regression and set inversion
نویسندگان
چکیده
منابع مشابه
Symbolic System Synthesis Using Answer Set Programming
Recently, Boolean Satisfiability (SAT) solving has been proposed to tackle the increasing complexity in high-level system design. Working well for system specifications with a limited amount of routing options, they tend to fail for densely connected computing platforms. This paper proposes an automated system design approach employing Answer Set Programming (ASP). ASP provides a stringent sema...
متن کاملCombining static analysis and targeted symbolic execution for scalable bug-finding in application binaries
Manual software testing is laborious and prone to human error. Yet, it is the most popular method for quality assurance. Automating the test-case generation promises better effectiveness, especially for exposing “deep” corner-case bugs. Symbolic execution is an automated technique for program analysis that has recently become practical due to advances in constraint solvers. It stands out as an ...
متن کاملA Methodology for Combining Symbolic Regression and Design of Experiments to Improve Empirical Model Building
A novel methodology for empirical model building using GPgenerated symbolic regression in combination with statistical design of experiments as well as undesigned data is proposed. The main advantage of this methodology is the maximum data utilization when extrapolation is necessary. The methodology offers alternative non-linear models that can either linearize the response in the presence of L...
متن کاملperformance of biological system and advanced oxidation processes (aop) treating antibiotic production industrial wastewater
در این مطالعه، عملکرد دو سیستم اکسیداسیون شیمیایی پیشرفته و یک سیستم بیولوژیکی برای حذف آموکسی سیلین در فاضلاب های سنتزیدر غلظت های مشابه با موارد صنعتی مورد بررسی قرار گرفته شدند. مطالعه انجام شده دارای سه بخش متفاوت اکسیداسیون با ازن و اشعه uv، اکسیداسیون با استفاده از نانو فتوکاتالیست tio2 و استفاده از بیوراکتور هوازی لجن فعال با جداکننده های فیزیکی می باشد. در هر بخش، متغیر های متفاوتی متنا...
15 صفحه اولGenetic Programming for Symbolic Regression
Genetic programming (GP) is a supervised learning method motivated by an analogy to biological evolution. GP creates successor hypotheses by repeatedly mutating and crossovering parts of the current best hypotheses, with expectation to find a good solution in the evolution process. In this report, the task to be performed was a symbolic regression problem, which is to find the symbolic function...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Inverse Problems in Science and Engineering
سال: 2013
ISSN: 1741-5977,1741-5985
DOI: 10.1080/17415977.2013.790384